f is defined by f(x) = 9